Segala, Roberto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The Theory of Timed I/O Automata, Second Edition

Kaynar, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2010

Language:

english

File:

PDF, 767 KB

english, 2010

2

Quatro alternativas para resolver a equação de Schrödinger para o átomo de hidrogênio

Custodio, Rogério, Politi, José Roberto dos Santos, Segala, Maximiliano, Haiduke, Roberto Luiz Andrade, Cyrillo, Márcio

Journal:

Year:

2002

File:

PDF, 524 KB

2002

3

System support for partition-aware network applications

Babaoğlu, Özalp, Davoli, Renzo, Montresor, Alberto, Segala, Roberto

Journal:

ACM SIGOPS Operating Systems Review

Year:

1998

Language:

english

File:

PDF, 1.27 MB

english, 1998

4

A quantitative doxastic logic for probabilistic processes and applications to information-hiding

Kramer, Simon, Palamidessi, Catuscia, Segala, Roberto, Turrini, Andrea, Braun, Christelle

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

5

Search for HSV DNA in genital, cerebral and labial tumors

Rotola, Antonella, Di Luca, Dario, Monini, Paolo, Manservigi, Roberto, Tognon, Mauro, Virgili, Annarosa, Segala, Valentina, Trapella, Giorgio, Cassai, Enzo

Journal:

European Journal of Cancer and Clinical Oncology

Year:

1986

Language:

english

File:

PDF, 2.37 MB

english, 1986

6

Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

Capiluppi, Marta, Segala, Roberto

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

7

Gastro-pharyngeal reflux and total laryngectomy. Increasing knowledge about its management

Mannelli, Giuditta, Santoro, Roberto, Segala, Francesco, Surrenti, Elisabetta, Gallo, Oreste

Journal:

American Journal of Otolaryngology

Year:

2017

Language:

english

File:

PDF, 343 KB

english, 2017

8

Distributed collision avoidance for autonomous vehicles: world automata representation

Marinica, Nicolae E., Capiluppi, Marta, Rogge, Jonathan A., Segala, Roberto, Boel, René K.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 207 KB

english, 2012

9

The Essence of Coin Lemmas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 996 KB

english, 1999

10

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Approximated Computationally Bounded Simulation Relations for Probabilistic Automata

Segala, Roberto, Turrini, Andrea

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

11

Hybrid I/O automata

Nancy Lynch, Roberto Segala, Frits Vaandrager

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 446 KB

english, 2003

12

Congenital fibrosarcoma of the bowel: Sonographic description of a rare case of neonatal intestinal obstruction

Bruno, Costanza, Caliari, Giuliana, Zampieri, Nicola, Segala, Diego, Pozzi-Mucelli, Roberto

Journal:

Journal of Clinical Ultrasound

Year:

2014

Language:

english

File:

PDF, 232 KB

english, 2014

13

[ACM Press the twenty-seventh ACM symposium - Toronto, Canada (2008.08.18-2008.08.21)] Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing - PODC '08 - The power of simulation relations

Segala, Roberto

Year:

2008

Language:

english

File:

PDF, 228 KB

english, 2008

14

A comparison of simulation techniques and algebraic techniques for verifying concurrent systems

Nancy Lynch, Roberto Segala

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 2.02 MB

english, 1995

15

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study

Anna Pogosyants, Roberto Segala, Nancy Lynch

Journal:

Distributed Computing

Year:

2000

Language:

english

File:

PDF, 436 KB

english, 2000

16

A process algebraic view of input/output automata

Rocco De Nicola, Roberto Segala

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.21 MB

english, 1995

17

Liveness in Timed and Untimed Systems

Roberto Segala, Rainer Gawlick, Jørgen Søgaard-Andersen, Nancy Lynch

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 851 KB

english, 1998

18

Enteropathogenetic nosocomial infections: predisposing clinical characteristics and risk of recurrent infections

Corcione, Silvia, Segala, Francesco Vladimiro, Castiglione, Anna, Lupia, Tommaso, Angilletta, Roberto, Cavallo, Rossana, Ciccone, Giovannino, De Rosa, Francesco Giuseppe

Journal:

Journal of Chemotherapy

Year:

2019

Language:

english

File:

PDF, 537 KB

english, 2019

19

Heterocyclic dyes displaying excited-state intramolecular proton-transfer reactions (ESIPT): computational study of the substitution effect on the electronic absorption spectra of 2-(2â²-hydroxyphenyl)-1,3-benzoxazole derivativesââ

Segala, Maximiliano, SebastiÃ£o Domingues Jr., Nei, Livotto, Paolo Roberto, Stefani, Valter

Journal:

Journal of the Chemical Society Perkin Transactions 2

Year:

1999

Language:

english

File:

PDF, 189 KB

english, 1999

20

Analyzing Security Protocols Using Time-Bounded Task-PIOAs

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala

Journal:

Discrete Event Dynamic Systems

Year:

2008

Language:

english

File:

PDF, 1.64 MB

english, 2008

21

Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

22

Observing Branching Structure through Probabilistic Contexts

Lynch, Nancy, Segala, Roberto, Vaandrager, Frits

Journal:

SIAM Journal on Computing

Year:

2007

Language:

english

File:

PDF, 397 KB

english, 2007

23

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 406 KB

english, 2002

24

Quiescence, Fairness, Testing, and the Notion of Implementation

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 409 KB

english, 1997

25

Antibiotic appropriateness and adherence to local guidelines in perioperative prophylaxis: results from an antimicrobial stewardship intervention

Segala, Francesco Vladimiro, Murri, Rita, Taddei, Eleonora, Giovannenze, Francesca, Del Vecchio, Pierluigi, Birocchi, Emanuela, Taccari, Francesco, Cauda, Roberto, Fantoni, Massimo

Journal:

Antimicrobial Resistance and Infection Control

Year:

2020

File:

PDF, 338 KB

2020

26

[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - Proving time bounds for randomized distributed algorithms

Lynch, Nancy, Saias, Isaac, Segala, Roberto

Year:

1994

Language:

english

File:

PDF, 1.13 MB

english, 1994

27

Switched PIOA: Parallel composition via distributed scheduling

Ling Cheung, Nancy Lynch, Roberto Segala, Frits Vaandrager

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

28

Spatiotemporal ecological drivers of an aquatic plant community in a temporary tropical pool

Ferreira, Felipe Segala, Tabosa, Alyne Bezerra, Gomes, Raimundo Bemvindo, Martins, Fernando Roberto, Matias, Lígia Queiroz

Journal:

Journal of Arid Environments

Year:

2015

Language:

english

File:

PDF, 614 KB

english, 2015

29

Selected papers from QEST 2010

Gianfranco Ciardo, Roberto Segala

Journal:

Performance Evaluation

Year:

2012

Language:

english

File:

PDF, 155 KB

english, 2012

30

Sequences homologous to two separate transforming regions of herpes simplex virus DNA are linked in two human genital tumors

Roberto Manservigi, Enzo Cassai, Louis P. Deiss, Dario Di Luca, Valentina Segala, Niza Frenkel

Journal:

Year:

1986

Language:

english

File:

PDF, 2.28 MB

english, 1986

31

[ACM Press the fourteenth annual ACM symposium - Ottowa, Ontario, Canada (1995.08.20-1995.08.23)] Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 - Formal verification of timed properties of randomized distributed algorithms

Pogosyants, Anna, Segala, Roberto

Year:

1995

Language:

english

File:

PDF, 1.03 MB

english, 1995

32

Dynamic load balancing with group communication

Shlomi Dolev, Roberto Segala, Alexander Shvartsman

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 291 KB

english, 2006

33

[Lecture Notes in Computer Science] Process Algebra and Probabilistic Methods: Performance Modeling and Verification Volume 2399 || Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling

Hermanns, Holger, Segala, Roberto

Year:

2002

Language:

english

File:

PDF, 637 KB

english, 2002

34

Task-structured probabilistic I/O automata

Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 1.66 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски